Stochastic Timed Automata

A stochastic timed automaton is a purely stochastic process defined on a timed automaton, in which both delays and discrete choices are made randomly. We study the almost-sure model-checking problem for this model, that is, given a stochastic timed automaton A and a property $\Phi$, we want to decide whether A satisfies $\Phi$ with probability 1. In this paper, we identify several classes of automata and of properties for which this can be decided. The proof relies on the construction of a finite abstraction, called the thick graph, that we interpret as a finite Markov chain, and for which we can decide the almost-sure model-checking problem. Correctness of the abstraction holds when automata are almost-surely fair, which we show, is the case for two large classes of systems, single- clock automata and so-called weak-reactive automata. Techniques employed in this article gather tools from real-time verification and probabilistic verification, as well as topological games played on timed automata.Comment: 40 pages + appendi

Quantitative Analysis of Distributed Randomized Protocols

A wide range of coordination protocols for distributed systems, internet protocols or systems with unreliable components can formally be modelled by Markov decision processes (MDP). MDPs can be viewed as a variant of state-transition diagrams with discrete probabilities and nondeterminism. While traditional model checking techniques for non-probabilistic systems aim to establish properties stating that all (or some) computations fulfill a certain condition, the verification problem for randomized systems requires reasoning about the quantitative behavior by means of properties that refer to the probabilities for certain computations, for instance, the probability to find a leader within 5 rounds or the probability for not reaching an error state

Probabilistic omega-automata

International audienc

Partial Order Reduction for Probabilistic Branching Time

In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both linear time and branching time specifications, methods have been developed to apply partial order reduction in the context of model checking. Only recently, results were published that give criteria on applying partial order reduction for verifying quantitative linear time properties for probabilistic systems. This paper presents partial order reduction criteria for Markov decision processes and branching time properties, such as formulas of probabilistic computation tree logic. Moreover, we provide a comparison of the results established so far about reduction conditions for Markov decision processes

18Th European Symposium On Radiopharmacy And Radiopharmaceuticals

OP03 Selective extraction of medically-related radionuclides from proton-irradiated thorium targets, V. Radchenko, J.W. Engle, C. Roy, J. Griswold, M.F. Nortier, E.R. Birnbaum, M. Brugh, S. Mirzadeh, K. D. John, M.E. Fassbender, OP04 Comparison of [68Ga]FSC(succ-RGD)3 and [68Ga]NODAGA-RGD for PET imaging of αvβ3 integrin expression, Chuangyan Zhai, Gerben M. Franssen, Milos Petrik, Peter Laverman, Clemens Decristoforo, OP05 A new NPY-Y1R targeting peptide for breast cancer PET imaging, Ait-Mohand Samia, Dumulon-Perreault Véronique, Guérin Brigitte, OP06 The influence of multivalency on CCK 2 receptor targeting, D. Summer, A. Kroess, C. Rangger, H. Haas, P. Laverman, F. Gerben, E. von Guggenberg, C.Decristoforo, OP07 SPECT Imaging of αvβ3 Expression by [99mTc(N)PNP43]- Bifunctional Chimeric RGD Peptide not Cross-Reacting with αvβ5, Cristina Bolzati, Nicola Salvarese, Fiorenzo Refosco, Laura Meléndez-Alafort, Debora Carpanese, Antonio Rosato, Michele Saviano, Annarita Del Gatto, Daniela Comegna, Laura Zaccaro, OP09 New dienophiles for the inverse-electron-demand Diels-Alder reaction and for pretargeted PET imaging, Emilie Billaud, Muneer Ahamed, Frederik Cleeren, Elnaz Shahbazali, Tim Noël, Volker Hessel, Alfons Verbruggen and Guy Bormans, OP10 New complexing agent for Al18F-labelling of heat-sensitive biomolecules: Synthesis and preclinical evaluation of Al18F-RESCA1-HAS, Cleeren F, Lecina J, Koole M, Verbruggen A and Bormans G, OP11 A novel versatile precursor efficient for F-18 radiolabelling via click-chemistry, B. Lugatoa, S. Stucchia, E.A. Turollaa, L. Giulianoa, S.Toddea, P. Ferraboschib, OP12 A general applicable method to quantify unidentified UV impurities in radiopharmaceuticals, R.P. Klok, M.P.J. Mooijer, N.H. Hendrikse, A.D. Windhorst, OP13 Development of [18F]Fluoro-C-glycosides to radiolabel peptides, Collet C., Petry N., Chrétien F., Karcher G., Pellegrini-Moïse N., Lamandé-Langle S., OP14 A Microfluidic Approach for the 68Ga-labeling of PSMAHBED-CC and NODAGA-RGD, Sarah Pfaff, Cecile Philippe, Markus Mitterhauser, Marcus Hacker, Wolfgang Wadsak, OP16 Surprising reactivity of astatine in the nucleophilic substitution of aryliodonium salts: application to the radiolabeling of antibodies, François Guérard, Yong-Sok Lee, Sébastien Gouard, Kwamena Baidoo, Cyrille Alliot, Michel Chérel, Martin W. Brechbiel, Jean-François Gestin, OP17 64Cu-NOTA-pertuzumab F(ab')2 fragments, a second-generation probe for PET imaging of the response of HER2-positive breast cancer to trastuzumab (Herceptin), Lam K, Chan C, Reilly RM, OP18 Development of radiohalogenated analogues of a avb6-specific peptide for high LET particle emitter targeted radionuclide therapy of cancer, Salomé Paillas, John Marshall, Jean-Pierre Pouget, Jane Sosabowski, OP19 Ligand Specific Efficiency (LSE) as a guide in tracer optimization, Emmanuelle Briard, Yves P. Auberson, John Reilly, Mark Healy, David Sykes, OP23 The radiosynthesis of an 18F-labeled triglyceride, developed to visualize and quantify brown adipose tissue activity, Andreas Paulus, Wouter van Marken Lichtenbelt,Felix Mottaghy, Matthias Bauwens, OP24 Influence of the fluorescent dye on the tumor targeting properties of dual-labeled HBED-CC based PSMA inhibitors, Baranski, Ann-Christin, Schäfer, Martin, Bauder-Wüst, Ulrike, Haberkorn, Uwe, Eder, Matthias, Kopka, Klaus, OP25 [18F]MEL050 as a melanin PET tracer : fully automated radiosynthesis and evaluation for the detection of pigmented melanoma in mice pulmonary metastases, Chaussard M, Hosten B, Vignal N, Tsoupko-Sitnikov V, Hernio N, Hontonnou F, Merlet P, Poyet JL, Sarda-Mantel L, Rizzo-Padoin N, OP26 Design and Preclinical Evaluation of Novel Radiofluorinated PSMA Targeting Ligands Based on PSMA-617, J. Cardinale, M. Schäfer, M. Benešová, U. Bauder-Wüst, O. Seibert, F. Giesel, U. Haberkorn, M. Eder, K. Kopka, OP27 A novel radiolabeled peptide for PET imaging of prostate cancer: 64Cu-DOTHA2-PEG-RM26, Mansour Nematallah, Paquette Michel, Ait-Mohand Samia, Dumulon-Perreault Véronique, Lecomte Roger, Guérin Brigitte, OP29 Biodistribution of [18F]Amylovis®, a new radiotracer PET imaging of β-amyloid plaques, Fernandez-Maza L, Rivera-Marrero S, Prats Capote A, Parrado-Gallego A, Fernandez-Gomez I, Balcerzyk M, Sablon-Carrazana M, Perera-Pintado A, Merceron-Martinez D, Acosta-Medina E, Rodriguez-Tanty C, OP30 Synthesis and preclinical evaluation of [11C]-BA1 PET tracer for the imaging of CSF-1R, Bala Attili, Muneer Ahamed, Guy Bormans, OP31 In vivo imaging of the MCHR1 in the ventricular system via [18F]FE@SNAP, C. Philippe, M. Zeilinger, T. Scherer, C. Fürnsinn, M. Dumanic, W. Wadsak, M. Hacker, M. Mitterhauser, OP32 Synthesis of the first carbon-11 labelled P2Y12 receptor antagonist for imaging the anti-inflammatory phenotype of activated microglia, B. Janssen, D.J. Vugts, G.T. Molenaar, U. Funke, P.S. Kruijer, F. Dollé, G. Bormans, A.A. Lammertsma, A.D. Windhorst, OP33 Radiosynthesis of a selective HDAC6 inhibitor [11C]KB631 and in vitro and ex vivo evaluation, Koen Vermeulen, Muneer Ahamed, Michael Schnekenburger, Mathy Froeyen, Dag Erlend Olberg, Marc Diederich, Guy Bormansa, OP34 Improving metabolic stability of fluorine-18 labelled verapamil analogues, Raaphorst RM, Luurtsema G, Lammertsma AA, Elsinga PH, Windhorst AD, OP36 Development of a novel PET tracer for the activin receptor-like kinase 5, Lonneke Rotteveel, Uta Funke, Peter ten Dijke, Harm Jan Bogaard, Adriaan A. Lammertsma, Albert D. Windhorst, OP37 SPECT imaging and biodistribution studies of 111In-EGF-Au-PEG nanoparticles in vivo, Lei Song, Sarah Able, Nadia Falzone, Veerle Kersemans, Katherine Vallis, OP38 Melanoma targeting with [99mTc(N)(PNP3)]-labeled NAPamide derivatives: preliminary pharmacological studies, Davide Carta, Nicola Salvarese, Wiebke Sihver, Feng Gao, Hans Jürgen Pietzsch, Barbara Biondi, Paolo Ruzza, Fiorenzo Refosco, Cristina Bolzati, OP39 [68Ga]NODAGA-RGD: cGMP synthesis and data from a phase I clinical study, Roland Haubner, Armin Finkensted, Armin Stegmair, Christine Rangger, Clemens Decristoforo, Heinz Zoller, Irene J. Virgolin, OP44 Implementation of a GMP-grade radiopharmacy facility in Maastricht, Ivo Pooters, Maartje Lotz, Roel Wierts, Felix Mottaghy, Matthias Bauwens, OP45 Setting up a GMP production of a new radiopharmaceutical, Forsback, Sarita, Bergman Jörgen, Kivelä Riikka, OP48 In vitro and in vivo evaluation of 68-gallium labeled Fe3O4-DPD nanoparticles as potential PET/MRI imaging agents, M. Karageorgou, M. Radović, C. Tsoukalas, B. Antic, M. Gazouli, M. Paravatou-Petsotas, S. Xanthopouls, M. Calamiotou, D. Stamopoulos, S. Vranješ-Durić, P. Bouziotis, OP49 Fast PET imaging of inflammation using 68Ga-citrate with Fe-containing salts of hydroxy acids, A. S. Lunev, A. A. Larenkov, K.A. Petrosova, O. E. Klementyeva, G. E. Kodina, PP01 Installation and validation of 11C-methionine synthesis, Kvernenes, O.H., Adamsen, T.C.H., PP02 Fully automated synthesis of 68Ga-labelled peptides using the IBA Synthera® and Synthera® Extension modules, René Martin, Sebastian Weidlich, Anna-Maria Zerges, Cristiana Gameiro, Neva Lazarova, Marco Müllera, PP03 GMP compliant production of 15O-labeled water using IBA 18 MeV proton cyclotron, Gert Luurtsema, Michèl de Vries, Michel Ghyoot, Gina van der Woude, Rolf Zijlma, Rudi Dierckx, Hendrikus H. Boersma, Philip H. Elsinga, PP04 In vitro Nuclear Imaging Potential of New Subphthalocyanine and Zinc Phthalocyanine, Fatma Yurt Lambrecht, Ozge Er, Mine Ince, Cıgır Biray Avci, Cumhur Gunduz, Fatma Aslihan Sarı, PP05 Synthesis, Photodynamic Therapy Efficacy and Nuclear Imaging Potential of Zinc Phthalocyanines, Kasim Ocakoglu, Ozge Er, Onur Alp Ersoz, Fatma Yurt Lambrecht, Mine Ince, Cagla Kayabasi, Cumhur Gunduz, PP06 Radio-U(H)PLC – the Search on the Optimal Flow Cell for the γ-Detector, Torsten Kniess, Sebastian Meister, Steffen Fischer, Jörg Steinbach, PP07 Radiolabeling, characterization & biodistribution study of cysteine and its derivatives with Tc99m, Rabia Ashfaq, Saeed Iqbal, Atiq-ur-Rehman, Irfan ullah Khan, PP08 Radiolabelling of poly (lactic-co.glycolic acid) (PLGA) nanoparticles with 99mTC, R Iglesias-Jerez, Cayero-Otero, L. Martín-Banderas, A. Perera-Pintado, I. Borrego-Dorado, PP09 Development of [18F]PD-410 as a non-peptidic PET radiotracer for gastrin releasing peptide receptors, Ines Farinha-Antunes, Chantal Kwizera, Enza Lacivita, Ermelinda Lucente, Mauro Niso, Paola De Giorgio, Roberto Perrone, Nicola A. Colabufo, Philip H. Elsinga, Marcello Leopoldo, PP10 An improved nucleophilic synthesis of 2-(3,4-dimethoxyphenyl)-6-(2-[18F]fluoroethoxy) benzothiazole ([18F]FEDMBT), potential diagnostic agent for breast cancer imaging by PET, V.V. Vaulina, O.S. Fedorova, V.V. Orlovskaja, ?�.L. Chen, G.Y. Li, F.C. Meng, R.S. Liu, H.E. Wang, R.N. Krasikova, PP11 Internal radiation dose assessment of radiopharmaceuticals prepared with accelerator-produced 99mTc, Laura Meléndez-Alafort, Mohamed Abozeid, Guillermina Ferro-Flores, Anna Negri, Michele Bello, Nikolay Uzunov, Martha Paiusco, Juan Esposito, Antonio Rosato, PP12 A specialized five-compartmental model software for pharmacokinetic parameters calculation, Laura Meléndez-Alafort, Cristina Bolzati, Guillermina Ferro-Flores, Nicola Salvarese, Debora Carpanese, Mohamed Abozeid, Antonio Rosato, Nikolay Uzunov, PP13 Molecular imaging of the pharmacokinetic behavior of low molecular weight 18F-labeled PEtOx in comparison to 89Zr-labeled PEtOx, Palmieri L, Verbrugghen T, Glassner M, Hoogenboom R, Staelens S, Wyffels L, PP14 Towards nucleophilic synthesis of the α-[18F]fluoropropyl-L-dihydroxyphenylalanine, V. V. Orlovskaja, O. F. Kuznetsova, O. S. Fedorova, V. I. Maleev, Yu. N. Belokon, A. Geolchanyan, A. S. Saghyan, L. Mu, R. Schibli, S. M. Ametamey, R. N. Krasikova, PP15 A convenient one-pot synthesis of [18F]clofarabine, Revunov, Evgeny, Malmquist, Jonas, Johnström, Peter, Van Valkenburgh, Juno, Steele, Dalton, Halldin, Christer, Schou, Magnus, PP16 BODIPY-estradiol conjugates as multi-modality tumor imaging agents, Samira Osati,Michel Paquette,Simon Beaudoin,Hasrat Ali,Brigitte Guerin, Jeffrey V. Leyton, Johan E. van Lier, PP17 Easy and high yielding synthesis of 68Ga-labelled HBED-PSMA and DOTA-PSMA by using a Modular-Lab Eazy automatic synthesizer, Di Iorio V, Iori M, Donati C, Lanzetta V, Capponi PC, Rubagotti S, Dreger T, Kunkel F, Asti M, PP18 Synthesis and evaluation of fusarinine C-based octadentate bifunctional chelators for zirconium-89 labelling, Chuangyan Zhai, Christine Rangger, Dominik Summer, Hubertus Haas, Clemens Decristoforo, PP19 Fully automated production of [18F]NaF using a re-configuring FDG synthesis module., Suphansa Kijprayoon, Ananya Ruangma, Suthatip Ngokpol, Samart Tuamputsha, PP20 Extension of the Carbon-11 Small Labeling Agents Toolbox and Conjugate Addition, Ulrike Filp, Anna Pees, Carlotta Taddei, Aleksandra Pekošak, Antony D. Gee, Alex J. Poot, Albert D. Windhorst, PP21 In vitro studies on BBB penetration of pramipexole encapsulated theranostic liposomes for the therapy of Parkinson’s disease, Mine Silindir Gunay, A. Yekta Ozer, Suna Erdogan, Ipek Baysal, Denis Guilloteau, Sylvie Chalon, PP22 Factors affecting tumor uptake of 99mTc-HYNIC-VEGF165, Filippo Galli, Marco Artico, Samanta Taurone, Enrica Bianchi, Bruce D. Weintraub, Mariusz Skudlinski, Alberto Signore, PP23 Rhenium-188: a suitable radioisotope for targeted radiotherapy, Nicolas Lepareur, Nicolas Noiret, François Hindré, Franck Lacœuille, Eric Benoist, Etienne Garin, PP24 Preparation of a broad palette of 68Ga radiopharmaceuticals for clinical applications, Trejo-Ballado F, Zamora-Romo E, Manrique-Arias JC, Gama-Romero HM, Contreras-Castañon G, Tecuapetla-Chantes RG, Avila-Rodriguez MA, PP25 68Ga-peptide preparation with the use of two 68Ge/68Ga-generators, H. Kvaternik, D. Hausberger, C. Zink, B. Rumpf, R. M. Aigner, PP26 Assay of HEPES in 68Ga-peptides by HPLC, H. Kvaternik, D. Hausberger, B. Rumpf, R. M. Aigner, PP27 Preparation, in vitro and in vivo evaluation of a 99mTc(I)-Diethyl Ester (S,S)-Ethylenediamine- N,N´-DI-2-(3-Cyclohexyl) Propionic acid as a target-specific radiopharmaceutical, Drina Janković, Mladen Lakić, Aleksandar Savić, Slavica Ristić, Nadežda Nikolić, Aleksandar Vukadinović, Tibor J. Sabo, Sanja Vranješ-Đurić, PP28 90Y-labeled magnetite nanoparticles for possible application in cancer therapy, S. Vranješ-Đurić, M. Radović, D. Janković, N. Nikolić, G. F. Goya, P. Calatayud, V. Spasojević, B. Antić, PP29 Simplified automation of the GMP production of 68Ga-labelled peptides, David Goblet, Cristiana Gameiro, Neva Lazarova, PP30 Combining commercial production of multi-products in a GMP environment with Clinical & R&D activities, Cristiana Gameiro, Ian Oxley, Antero Abrunhosa, Vasko Kramer, Maria Vosjan, Arnold Spaans, PP31 99mTc(CO)3-labeling and Comparative In-Vivo Evaluation of Two Clicked cRGDfK Peptide Derivatives, Kusum Vats, Drishty Satpati, Haladhar D Sarma, Sharmila Banerjee, PP32 Application of AnaLig resin for 99mTc separation from molybdenum excess, Wojdowska W., Pawlak D.W., Parus L. J., Garnuszek P., Mikołajczak R., PP33 Constraints for selection of suitable precursor for one-step automated synthesis of [18F]FECNT, the dopamine transporter ligand, Pijarowska-Kruszyna J, Jaron A, Kachniarz A, Malkowski B, Garnuszek P, Mikolajczak R, PP34 Gamma scintigraphy studies with 99mTc- amoxicillin sodium in bacterially infected and sterile inflamed rats, Derya Ilem-Ozdemir, Oya Caglayan-Orumlu, Makbule Asikoglu, PP35 Preparation of 99mTc- Amoxicillin Sodium Lyophilized Kit, Derya Ilem-Ozdemir, Oya Caglayan-Orumlu, Makbule Asikoglu, PP36 Outfits of Tracerlan FXC-PRO for 11C-Labeling, Arponen Eveliina, Helin Semi, Saarinen Timo, Vauhkala Simo, Kokkomäki Esa, Lehikoinen Pertti, PP37 Microfluidic synthesis of ω-[18F]fluoro-1-alkynes, Mariarosaria De Simone, Giancarlo Pascali, Ludovica Carzoli, Mauro Quaglierini, Mauro Telleschi, Piero A. Salvadori, PP38 Automated 18F-flumazenil production using chemically resistant disposable cassettes, Phoebe Lam, Martina Aistleitner, Reinhard Eichinger, Christoph Artner, PP39 The effect of the eluent solutions (TBAHCO3, Kryptand K2.2.2) on the radiochemical yields of 18F-Fluoromethylcholine, Surendra Nakka, Hemantha Kumara MC, Al-Qahtani Mohammed, PP40 [68Ga]Radiolabeling of short peptide that has a PET imaging potentials, Al-Qahtani, Mohammed, Al-Malki, Yousif, PP41 Is validation of radiochemical purity analysis in a public hospital in a developing country possible?, N Mambilima, SM Rubow, PP42 Improved automated radiosynthesis of [18F]FEPPA, N. Berroterán-Infante, M. Hacker, M. Mitterhauser, W. Wadsak, PP43 Synthesis and initial evaluation of Al18F-RESCA1-TATE for somatostatin receptor imaging with PET, Uta Funke, Frederik Cleeren, Joan Lecina, Rodrigo Gallardo, Alfons M. Verbruggen, Guy Bormans, PP44 Radiolabeling and SPECT/CT imaging of different polymer-decorated zein nanoparticles for oral administration, Rocío Ramos-Membrive, Ana Brotons, Gemma Quincoces, Laura Inchaurraga, Inés Luis de Redín, Verónica Morán, Berta García-García, Juan Manuel Irache, Iván Peñuelas, PP45 An analysis of the quality of 68Ga-DOTANOC radiolabelling over a 3 year period, Trabelsi, M., Cooper M.S., PP46 In vivo biodistribution of adult human mesenchymal stem cells I (MSCS-ah) labeled with 99MTC-HMPAO administered via intravenous and intra-articular in animal model. Preliminary results, Alejandra Abella, Teodomiro Fuente, Antonio Jesús Montellano, Teresa Martínez, Ruben Rabadan, Luis Meseguer-Olmo, PP47 Synthesis of [18F]F-exendin-4 with high specific activity, Lehtiniemi P, Yim C, Mikkola K, Nuutila P, Solin O, PP48 Experimental radionuclide therapy with 177Lu-labelled cyclic minigastrin and human dosimetry estimations, von Guggenberg E, Rangger C, Mair C, Balogh L, Pöstényi Z, Pawlak D, Mikołajczak R, PP49 Synthesis of radiopharmaceuticals for cell radiolabelling using anion exchange column, Socan A, Kolenc Peitl P, Krošelj M, Rangger C, Decristoforo C, PP50 [68Ga]peptide production on commercial synthesiser mAIO, Collet C., Remy S., Didier R,Vergote T.,Karcher G., Véran N., PP51 Dry kit formulation for efficient radiolabeling of 68Ga-PSMA, D. Pawlak, M. Maurin, P. Garnuszek, U. Karczmarczyk, R. Mikołajczak, PP52 Development of an experimental method using Cs-131 to evaluate radiobiological effects of internalized Auger-electron emitters, Pil Fredericia, Gregory Severin, Torsten Groesser, Ulli Köster, Mikael Jensen, PP53 Preclinical comparative evaluation of NOTA/NODAGA/DOTA CYCLO-RGD peptides labelled with Ga-68, R. Leonte, F. D. Puicea, A. Raicu, E. A. Min, R. Serban, G. Manda, D. Niculae, PP54 Synthesizer- and Kit-based preparation of prostate cancer imaging agent 68Ga-RM2, Marion Zerna, Hanno Schieferstein, Andre Müller, Mathias Berndt, PP55 Synthesis of pancreatic beta cell-specific [18F]fluoro-exendin-4 via strain-promoted aza-dibenzocyclooctyne/azide cycloaddition, Cheng-Bin Yim, Kirsi Mikkola, Pirjo Nuutila, Olof Solin, PP56 Automated systems for radiopharmacy, D. Seifert, J. Ráliš, O. Lebeda, PP57 Simple, suitable for everyday routine use quality control method to assess radionuclidic purity of cyclotron-produced 99mTc, Svetlana V. Selivanova, Helena Senta, Éric Lavallée, Lyne Caouette, Éric Turcotte, Roger Lecomte, PP58 Effective dose estimation using Monte Carlo simulation for patients undergoing radioiodine therapy, Marina Zdraveska Kochovska, Emilija Janjevik Ivanovska, Vesna Spasic Jokic, PP59 Chemical analysis of the rituximab radioimmunoconjugates in lyophilized formulations intended for oncological applications, Darinka Gjorgieva Ackova, Katarina Smilkov, Petre Makreski, Trajče Stafilov, Emilija Janevik-Ivanovska, PP61 The need and benefits of established radiopharmacy in developing African countries, Aschalew Alemu, Joel Munene Muchira, David Mwanza Wanjeh, Emilija Janevik-Ivanovska, PP62 University Master Program of Radiopharmacy – step forward for Good Radiopharmacy Education, Emilija Janevik-Ivanovska, Zoran Zdravev, Uday Bhonsle, Osso Júnior João Alberto, Adriano Duatti, Bistra Angelovska, Zdenka Stojanovska, Zorica Arsova Sarafinovska, Darko Bosnakovski, Darinka Gorgieva-Ackova, Katarina Smilkov, Elena Drakalska, Meera Venkatesh, Rubin Gulaboski, PP63 Synthesis and preclinical validations of a novel 18F-labelled RGD peptide prepared by ligation of a 2-cyanobenzothiazole with 1,2-aminothiol to image angiogenesis., Didier J. Colin, James A. H. Inkster, Stéphane Germain, Yann SeimbillePubMe